Posets of Finite Functions

The symmetric group S(n) is partially ordered by Bruhat order. This order is extended by L. Renner to the set of partial injective functions of {1, 2, . . . , n} (see, Linear Algebraic Monoids, Springer, 2005). This poset is investigated by M. Fortin in his paper The MacNeille Completion of the Poset of Partial Injective Functions [Electron. J. Combin., 15, R62, 2008]. In this paper we show that Renner order can be also defined for sets of all functions, partial functions, injective and partial injective functions from {1, 2, . . . , n} to {1, 2, . . . ,m}. Next, we generalize Fortin’s results on these posets, and also, using simple facts and methods of linear algebra, we give simpler and shorter proofs of some fundamental Fortin’s results. We first show that these four posets can be order embedded in the set of n × m-matrices with non-negative integer entries and with the natural componentwise order. Second, matrix representations of the Dedekind-MacNeille completions of our posets are given. Third, we find joinand meet-irreducible elements for every finite sublattice of the lattice of all n × m-matrices with integer entries. In particular, we obtain joinand meet-irreducible elements of these Dedekind-MacNeille completions. Hence and by general results concerning Dedekind-MacNeille completions, joinand meet-irreducible elements of our four posets of functions are also found. Moreover, subposets induced by these irreducible elements are precisely described.